大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Michael Frederick 的图书(共3366本)

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Handbook on Business Process Management 1 [electronic resource] : Introduction, Methods, and Information Systems

0
索取号：
作者：Brocke、 Jan vom.、Rosemann、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Foundations in Grammatical Evolution for Dynamic Environments [electronic resource]

0
索取号：
作者：Dempsey、 Ian.、O鈥橬eill、 Michael.、Brabazon、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Integrated Formal Methods [electronic resource] : 7th International Conference, IFM 2009, D眉sseldorf, Germany, February 16-19, 2009. Proceedings

0
索取号：
作者：Leuschel、 Michael.、Wehrheim、 Heike.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Polymer Libraries [electronic resource]

0
索取号：
作者：Meier、 Michael A. R.、Webster、 Dean C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Natural Computing in Computational Finance [electronic resource] : Volume 2

0
索取号：
作者：Brabazon、 Anthony.、O鈥橬eill、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Declarative Agent Languages and Technologies VI [electronic resource] : 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

0
索取号：
作者：Baldoni、 Matteo.、Son、 Tran Cao.、Riemsdijk、 M. Birna.、Winikoff、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Visualizing Immunity [electronic resource]

0
索取号：
作者：Dustin、 Michael.、McGavern、 Dorian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

High Performance Embedded Architectures and Compilers [electronic resource] : Fourth International Conference, HiPEAC 2009, Paphos, Cyprus, January 25-28, 2009. Proceedings

0
索取号：
作者：Seznec、 Andr茅.、Emer、 Joel.、O鈥橞oyle、 Michael.、Martonosi、 Margaret.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Basics of Oncology [electronic resource]

0
索取号：
作者：Aigner、 Karl Reinhard.、Stephens、 Frederick O.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Strategic Policy Interactions in a Monetary Union [electronic resource]

0
索取号：
作者：Carlberg、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Engineering Acoustics [electronic resource] : An Introduction to Noise Control

0
索取号：
作者：M枚ser、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Numerical Simulation of Turbulent Flows and Noise Generation [electronic resource] : Results of the DFG/CNRS Research Groups FOR 507 and FOR 508

0
索取号：
作者：Brun、 Christophe.、Juv茅、 Daniel.、Manhart、 Michael.、Munz、 Claus-Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Uncertainty Reasoning for the Semantic Web I [electronic resource] : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

0
索取号：
作者：Costa、 Paulo Cesar G.、d鈥橝mato、 Claudia.、Fanizzi、 Nicola.、Laskey、 Kathryn B.、Laskey、 Kenneth J.、Lukasiewicz、 Thomas.、Nickles、 Matthias.、Pool、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Simulated Evolution and Learning [electronic resource] : 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

0
索取号：
作者：Li、 Xiaodong.、Kirley、 Michael.、Zhang、 Mengjie.、Green、 David.、Ciesielski、 Vic.、Abbass、 Hussein.、Michalewicz、 Zbigniew.、Hendtlass、 Tim.、Deb、 Kalyanmoy.、Tan、 Kay Chen.、Branke、 J眉rgen.、Shi、 Yuhui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.